English deterministic turing machine: תרגום לשפות אחרות